101. Design and Analysis of Algorithms :
پدیدآورنده: Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
رده :
QA9
.
58
.
S454
2019
102. Dialetheism and its applications
پدیدآورنده: Adam Rieger, Gareth Young, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dialetheism.,Dialetheism.
رده :
B809
.
833
103. Diamond :
پدیدآورنده: N.S. Hellerstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
رده :
QA9
.
H396
2010eb
104. Discrete mathematics :
پدیدآورنده: Douglas E. Ensley, J. Winston Crawley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
105. Economic and Financial Knowledge-Based Processing
پدیدآورنده: by Louis F. Pau, Claudio Gianotti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Economics.,Management information systems.
رده :
HG173
.
B956
1990
106. Encyclopedia of management.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
رده :
HD30
.
15
.
E49
2009
107. Ensembles ordonnés finis :
پدیدآورنده: Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Knowledge representation (Information theory),Operations research.,Ordered sets.,Ensembles ordonnés,Informatique-- Mathématiques,Recherche opérationnelle,Représentation des connaissances,Computer science-- Mathematics.,Knowledge representation (Information theory),MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Operations research.,Ordered sets.
رده :
QA171
.
48
.
C37
2007eb
108. Epistemic complexity and knowledge construction :
پدیدآورنده: Arturo Carsetti
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Erkenntnistheorie.,Kognition.,Logik.
رده :
BD161
.
A788
2013
109. Epistemic game theory :
پدیدآورنده: Andrés Perea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Epistemic logic.,Game theory.,BUSINESS & ECONOMICS / Economics / Microeconomics.
110. Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976.
پدیدآورنده: Hintikka, Jaakko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
B67
.
H568
2013
111. Explaining games
پدیدآورنده: / by Boudewijn de Bruin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Game theory
رده :
QA269
.
B78
2010
112. Finite and Infinite Combinatorics in Sets and Logic
پدیدآورنده: edited by N.W. Sauer, R.E. Woodrow, B. Sands.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Computational complexity.,Mathematics.
113. Finite mathematics /
پدیدآورنده: Margaret L. Lial, Raymond N. Greenwell, Nathan P. Ritchey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
رده :
QA37
.
3
.
L53
2005
114. Finite mathematics
پدیدآورنده: Howard L. Rolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematik.
رده :
QA39
.
2
H693
2011
115. Form and Strategy in Science Studies Dedicated to Joseph Henry Woodger on the Occasion of His Seventieth Birthday.
پدیدآورنده: Gregg, J.R.; Harris, F.T.C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
116. Form and Strategy in Science Studies Dedicated to Joseph Henry Woodger on the Occasion of His Seventieth Birthday.
پدیدآورنده: Gregg, J.R.; Harris, F.T.C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
Q175
.
G744
2013
117. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.
پدیدآورنده: Malinowski, Grzegorz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
Q174
.
M355
2013
118. Formal models of agents
پدیدآورنده: John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Intelligent agents (Computer software)
119. Foundations of Rational Agency
پدیدآورنده: edited by Michael Wooldridge, Anand Rao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
120. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
